#include "user/user.h"
#include "kernel/types.h"
#include "kernel/stat.h"
int main(int argc, char *args[]){
    if(argc != 2){
        fprintf(2,"%srun sleep in this pattern: sleep xx");
        exit(1);
    }
    int seconds = atoi(args[1]);
    sleep(seconds);
    exit(0);
}